Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande

Source URL: cgi.csc.liv.ac.uk

• Markov models
• Concurrency
• Graph theory
• Markov chain
• Stochastic
• Petri net
• Computing
• Mathematics
• Formal methods

Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

Source URL: pighizzini.di.unimi.it

Math. Appl), 105–122 DOI: maTWO-DIMENSIONAL JUMPING FINITE AUTOMATA S. JAMES IMMANUEL and D. G. THOMAS Abstract. In this paper, we extend a newly introduced concept called the jumping

Source URL: ma.fme.vutbr.cz

Simulating Unary Context-Free Grammars and Pushdown Automata with Finite Automata Giovanni Pighizzini Dipartimento di Informatica e Comunicazione Università degli Studi di Milano ITALY

Source URL: pighizzini.di.unimi.it

Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

Source URL: pighizzini.di.unimi.it

The Complexity of Intersecting Finite Automata Having Few Final States

Source URL: www7.in.tum.de

SHORTEST PATHS IN THE TOWER OF HANOI GRAPH AND FINITE AUTOMATA DAN ROMIK Abstract. We present efficient algorithms for constructing a shortest path between two configurations in the Tower of Hanoi graph, and for computin

Source URL: www.math.ucdavis.edu

THE COMPLEXITY OF INTERSECTING FINITE AUTOMATA HAVING FEW FINAL STATES Michael Blondin, Andreas Krebs, and Pierre McKenzie

Source URL: www-etud.iro.umontreal.ca

Performance Enhancement with Speculative Execution Based Parallelism for Processing Large-scale XML-based Application Data Michael R. Head

Source URL: www.cs.binghamton.edu

• Computing
• Software engineering
• Finite automata
• Compiler construction
• Parallel computing
• Analysis of parallel algorithms
• Speedup
• VTD-XML
• Concurrent data structure
• Finite-state machine
• Regular expression
• Parsing

Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander

Source URL: www.mpi-sws.org

• Computer architecture
• Computing
• Software
• Embedded operating systems
• Finite automata
• Finite-state machine
• OSEK
• Real-time operating system
• Model checking
• Kernel
• Protection ring
• Embedded system